proof theory - German English Dictionary